Koha online catalog › Results of search for 'su:"Logic, Symbolic and mathematical" and su-to:Logic, Symbolic and mathematical'

Log in

	1.	Mathematical thinking and writing by Maddox, Randall B. Material type: Book; Format: print ; Literary form: Not fiction Publisher: London: Harcourt, 2002Availability: Items available for loan: [Call number: 511.3 MAD] (1). Place hold
	2.	Adapting proofs-as-programs : the Curry-Howard protocol by Crossley, John N \| Poernomo, Iman Hafiz \| Wirsing, Martin. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1). Place hold
	3.	Linear logic in computer science by Ehrhard, Thomas. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1). Place hold
	4.	Theorems, corollaries, lemmas, and methods of proof by Rossi, Richard J. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1). Place hold
	5.	Three views of logic : mathematics, philosophy, and computer science by Loveland, Donald W \| Hodel, Richard E \| Sterrett, S. G. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1). Place hold
	6.	Handbook of mathematical induction : theory and applications by Gunderson, David S. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1). Place hold
	7.	Extending the frontiers of mathematics : inquiries into proof and argumentation by Burger, Edward B. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 511.36 BUR] (1). Place hold
	8.	Hybrid logic and its proof-theory by Brauner, Torben. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1). Place hold

Powered by Koha